match None with
| Some {caret}_ -> ()
